IEEE Transactions on Software Engineering - PDFSEARCH.IO - Document Search Engine

IEEE Transactions on Software Engineering
Results: 130

#	Item
81	IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 32, NO. 3, Add to Reading List Source URL: pages.cs.wisc.edu Language: English - Date: 2006-03-02 16:01:29 Anti-patterns User interface techniques Duplicate code Source code Plagiarism detection Cut copy and paste Substring Subsequence Software versioning Computer programming Software engineering Computing
82	IEEE TRANSACTIONS ON VEHICULAR TECHNOLOGY, VOL. 60, NO. 9, NOVEMBER[removed]Joint Reduction of Peak-to-Average Power Ratio, Cubic Metric, and Block Error Rate in OFDM Add to Reading List Source URL: www.comm.utoronto.ca Language: English - Date: 2011-12-23 16:17:08 OSI protocols Data Multiplexing Orthogonal frequency-division multiplexing Software-defined radio Convolutional code Puncturing Phase-shift keying Hybrid automatic repeat request Error detection and correction Data transmission Telecommunications engineering
83	Akbar Siami Namin Business Address Department of Computer Science Texas Tech University Lubbock, TX, USA, [removed] – 3527 (Ext. 235) Add to Reading List Source URL: www.depts.ttu.edu Language: English - Date: 2012-10-30 17:20:33 SIGSOFT International Conference on Software Engineering IEEE Transactions on Software Engineering Software engineer Reliability engineering Software engineering Systems engineering Computer science
84	125 IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. SE-3, NO. 2, MARCH 1977 Proving the Correctness of Multiprocess Programs LESLIE LAMPORT Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-03-04 22:46:44 Mathematical logic Assertion Debugging Logic in computer science Mathematical proof Invariant Petri net Formalism Correctness Mathematics Software engineering Computing
85	125 IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. SE-3, NO. 2, MARCH 1977 Proving the Correctness of Multiprocess Programs LESLIE LAMPORT Add to Reading List Source URL: www.cis.umassd.edu Language: English - Date: 2007-02-12 21:22:45 Mathematical logic Assertion Debugging Logic in computer science Mathematical proof Invariant Petri net Formalism Correctness Mathematics Software engineering Computing
86	IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. SE-4, NO. 6, NOVEMBER[removed]Cond-itions for the Equivalence of Synchronous and Asynchronous Systems Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-08-20 13:55:30 Asynchronous system electronic design automation Electronic engineering Asynchrony Message passing Monitor Electrical engineering Synchronization Electrical circuits Computing
87	782 IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 29, Add to Reading List Source URL: scg.unibe.ch Language: English - Date: 2004-09-23 03:58:26 Software metrics Knowledge representation Class Design Patterns Software visualization Inheritance NDepend Hierarchy Frame language Software engineering Computing Object-oriented programming
88	IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 31, NO. 1, Add to Reading List Source URL: scg.unibe.ch Language: English - Date: 2005-01-27 03:28:54 Software design patterns Object-oriented programming Method Programming paradigms Class Design Patterns Objective-C Template method pattern Mutator method Software engineering Computer programming Computing
89	88 IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. SE-13, NO. I. JANUARY 1987 Language Support for Loosely Coupled Distributed Programs Add to Reading List Source URL: www.cs.rochester.edu Language: English - Date: 2004-06-23 16:50:16 Session Inter-process communication V Thread Server Lock Email Transmission Control Protocol Doors Computing Computer architecture Network protocols
90	IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 14, A Simple Mechanism for Type Security Across Compilation Units MICHAEL L. SCOTT Add to Reading List Source URL: www.cs.rochester.edu Language: English - Date: 2004-06-23 16:50:23 Data types Hashing Search algorithms Error detection and correction Hash function Pointer Cryptographic hash function C Array data type Computing Software engineering Computer programming